Ian Stark - PDFSEARCH.IO - Document Search Engine

Ian Stark
Results: 36

#	Item
11	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
12	Advances in Programming Languages APL1: What’s so important about language? Ian Stark and David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-10 18:30:15 Linguistics Culture Cognitive science Cognition Psycholinguistics Anthropological linguistics Relativism Linguistic relativity Tractatus Logico-Philosophicus World view Computer programming George Boole
13	Advances in Programming Languages APL14: Further language concurrency mechanisms David Aspinall (including slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-24 17:48:20 Computing Software engineering Computer programming Concurrent programming languages Inter-process communication Functional languages Concurrent computing Edsger W. Dijkstra Process calculi Actor model Message passing Scala
14	Advances in Programming Languages APL5: ESC/Java2 — The Java Extended Static Checker David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-24 19:03:54 Computing Software engineering Software Java platform Cross-platform software Formal methods ESC/Java Concurrent programming languages Java Modeling Language Extended static checking Java Java version history
15	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
16	Advances in Programming Languages APL17: Using SQL from Java Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-03-07 23:15:38 Query languages Functional languages Web programming SQL Domain-specific language Cross-site scripting Language Integrated Query Code injection JavaScript SQL injection Embedded SQL
17	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-31 23:15:57 Type theory Functional languages Object-oriented programming languages Type systems Data types Haskell Structural type system Duck typing D Type signature OCaml Abstract type
18	Advances in Programming Languages APL2: Coursework assigment topics Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-13 20:05:55 Functional languages Object-oriented programming languages Programming paradigms Concurrent programming languages APL Haskell Mixin Glasgow Haskell Compiler Concurrent computing Assignment Scala Functional programming
19	Frances Stark: My best thing Thursday talk by Professor Darren Tofts The Ian Potter Museum of Art, the University of Melbourne 18 AprilThree theses on virtual curb-crawling: from lurkers to terrorists who just wan Add to Reading List Source URL: www.art-museum.unimelb.edu.au Language: English - Date: 2013-05-14 19:20:24 Cyberfeminism Internet culture Intersectionality
20	Advances in Programming Languages APL8: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-15 05:36:06 Data types Functional programming Type theory Adjoint functors Monad Map Option type Type class Haskell Software engineering Declarative programming Computing